# -*- mode: snippet -*-
# key: code.listing
# expand-env: ((yas-indent-line 'fixed))
# --
\begin{listing}[!ht]
  \begin{minted}[frame=single,gobble=4]{coq}
    $0
  \end{minted}
  \caption{$1}
\end{listing}